Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
761	KnowledgeSEEKER® Marketing Edition Predictive Analytics for Marketing The Easiest to Use Marketing Analytics Tool KnowledgeSEEKER Marketing Edition is a Add to Reading List Source URL: www.angoss.com Language: English - Date: 2014-06-09 09:38:46 Management Formal sciences Angoss ADAPA Predictive analytics Predictive Model Markup Language Data mining Analytics Marketing Business intelligence Business Statistics
762	Quasi-Weak Cost Automata A New Variant of Weakness Denis Kuperberg1 1 LIAFA/CNRS/Universit´ e 2 Department Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Nondeterministic finite automaton Regular language Finite-state machine Ω-automaton Automata theory Formal languages Models of computation
763	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
764	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science
765	Department of Computer Science University of Bristol MSc in Machine Learning, Data Mining and High Perfo Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 08:05:18 Computer programming Cybernetics Formal sciences Markov models Learning Machine learning Programming language Algorithm Reinforcement learning Computing Cross-platform software Software engineering
766	Microsoft Word[removed]B Publication date 1 Jun 2007.doc Add to Reading List Source URL: www.dlsmaytag.com.au Language: English - Date: 2014-09-24 19:59:01 Home appliances Home automation Formal languages ALGOL 68 Washing machine Constructible universe G-code List Computing Software engineering Programming language theory
767	Building Cost-Benefit Analysis Capacity in Criminal Justice: Notes from a Roundtable Discussion By Tina Chiu Director’s message When I came to the Vera Institute of Justice, one of my Add to Reading List Source URL: cbkb.org Language: English - Date: 2013-04-26 13:08:26 Public finance Drug court Formal language Mathematics Applied mathematics Ethics Costs Cost–benefit analysis Decision theory
768	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
769	Book Reviews: Language at Work: Analyzing Communication Breakdown in the Workplace to Inform Systems Design Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:29 Semantics Meaning Interdisciplinary fields Formal sciences Natural language processing Terry Winograd Harvey Sacks Natural language understanding Situation theory Science Knowledge Academia
770	ANTLR: A Compiler Development Tool Stephen A. Edwards class SimpLexer extends Lexer; options { testLiterals = false; k = 2; } A NTLR comprises the functionality of a lexer generator (e.g., Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-02-19 14:25:22 Computing Compiler construction Parser generators Compiling tools Formal languages Lexical analysis LL parser ANTLR Lex Programming language implementation Software Parsing

UPDATE